Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
281	Automata theory Regular Cost Functions Formalisms on finite words Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-22 04:28:13 Mathematics Applied mathematics Regular language Aperiodic monoid Star-free language Finite-state machine Krohn–Rhodes theory Deterministic pushdown automaton Automata theory Formal languages Theoretical computer science
282	Operational Semantics of UML Activity Diagram: An Application in Project Management Eugene Syriani Department of Computer Science Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2012-07-26 13:45:07 Software engineering Data modeling Software development Systems Modeling Language ISO standards Petri net Finite-state machine Action Activity diagram Unified Modeling Language Diagrams Models of computation
283	Good-for-Games Automata versus Deterministic Automata. Denis Kuperberg1,2 1 University Michal Skrzypczak1 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2015-02-12 04:24:43 Science Philosophy of science Automata theory Finite-state machine Determinism
284	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-08 11:06:55 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
285	On Determinisation of History-Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-07 08:10:22 Computer science Finite-state machine Büchi automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
286	Automata theory Hard decision problems Regular Cost Functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:27:58 Mathematics Semigroup theory Algebra Category theory Models of computation Regular language Monoid Finite-state machine Free monoid Formal languages Abstract algebra Automata theory
287	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-12-02 12:39:02 Mathematics Automata theory Models of computation Theory of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Computability theory
288	Regular Sensing Shaull Almagor1 , Denis Kuperberg2 , Orna Kupferman1 1 Hebrew University of Jerusalem Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-09-05 08:28:57 Deterministic automaton Finite-state machine Ω-automaton Automata theory Theoretical computer science Computer science
289	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
290	AUTOMATA Thus far we have been concerned with two major topics: the discovery of an appropriate model for computation and an examination of the intrinsic properties of computation in general. We found that since Turing m Add to Reading List Source URL: www.cs.uky.edu Language: English - Date: 2001-02-14 12:47:25 Automata theory Computer science Computability theory Turing machine Finite-state machine Linear bounded automaton Decision problem Theory of computation Theoretical computer science Models of computation

UPDATE